Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science)
by Behnam Banieqbal, Howard Barringer, Amir Pnueli
ISBN 13: 9783540518037
Format: Paperback (448 pages) Publisher: Springer Published: 11 Oct 1989
Save for later